HOLOMAN (Dallas Kern), Charles Munch

Edvard Munch Edvard Munch

29.9 Kern

The fabrication methods of the microelectronics industry have been refined to produce ever smaller devices, but will soon reach their fundamental limits. A promising alternative route to even smaller functional systems with nanometre dimensions is the autonomous ordering and assembly of atoms and molecules on atomically well-defined surfaces. This approach combines ease of fabrication with exqu...

Kern Fisher Diskriminanten

Diese Zusammenfassung meiner Doktorarbeit (Mik02) beschäftigt sich mit statistischer Lerntheorie und statistischen Lernmaschinen. Eine statistische Lernmaschine versucht aus gegebenen Beispielen eine Regel zu inferieren mit der man in der Lage ist auf ungesehenen Beispielen korrekte Vorhersagen zu machen. Diese Vorhersagen sind reellwertig (Regression) oder diskret (Klassifikation). Wir betrach...

MUNCH - Automated Reasoner for Sets and Multisets

This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multisets, and integers. Constraints over collections and integers are connected using the cardinality operator. Our logic is a fragment of logics of popular interactive theorem provers, and MUNCH is the first fully automa...

Der Petrinetz-Würfel im Petrinetz-Kern

Eine Möglichkeit, ein theoretisches Konzept zu validieren, ist seine Implementierung in einem Werkzeug. In diesem Papier skizzieren wir die Implementierung des PetrinetzWürfels mit Hilfe des Petrinetz-Kerns. Mit dem Petrinetz-Würfel [KW98] und dem Petrinetz-Kern [HHK98, KW99] wurden zwei Konzepte entwickelt, die jeweils einen allgemeinen Petrinetz-theoretischen Ansatz verfolgen. Der Petrinetz-K...